nLab power series

Redirected from "formal power series ring".

Contents

Definition

A power series in a variable XX and with coefficients in a ring RR is a series of the form

n=0 a nX n \sum_{n = 0}^\infty a_n X^n

where a na_n is in RR for each n0n\ge 0. Given that there are no additional convergence conditions, a power series is also termed emphatically as a formal power series. If RR is commutative, then the collection of formal power series in a variable XX with coefficients in RR forms a commutative ring denoted by R[[X]]R [ [ X ] ].

More generally, a power series in kk commuting variables X 1,,X kX_1,\ldots, X_k with coefficients in a ring RR has the form n 1=0,n 2=0,,n k=0 a n 1n kX 1 n 1X 2 n 2X k n k\sum_{n_1=0,n_2=0,\ldots, n_k = 0}^\infty a_{n_1\ldots n_k} X_1^{n_1} X_2^{n_2}\cdots X_k^{n_k}. If RR is commutative, then the collection of formal power series in kk commuting variables X 1,,X kX_1,\ldots, X_k form a formal power series ring denoted by R[[X 1,,X k]]R [ [ X_1,\ldots, X_k ] ].

More generally, we can consider noncommutative (associative unital) ring RR and words in noncommutative variables X 1,,X kX_1,\ldots, X_k of the form

w=X i 1X i m w = X_{i_1}\cdots X_{i_m}

(where mm has nothing to do with kk) and with coefficient a wRa_w \in R (here ww is a word of any length, not a multiindex in the previous sense). Thus the power sum is of the form wa wX w\sum_w a_w X_w and they form a formal power series ring in variables X 1,,X kX_1,\ldots, X_k denoted by RX 1,,X kR\langle \langle X_1,\ldots, X_k \rangle\rangle. Furthermore, RR can be even a noncommutative semiring in which case the words belong to the free monoid on the set S={X 1,,X k}S = \{ X_1,\ldots, X_k\}, the partial sums are then belong to a monoid semiring RSR\langle S\rangle. The formal power series then also form a semiring, by the multiplication rule

ra rX rb sX s= w u,v;w=uva ub vX w \sum_{r} a_r X_r \cdot \sum b_s X_s = \sum_w \sum_{u,v; w = u v} a_u b_v X_w

Of course, this implies that in a specialization, bb-s commute with variables X i kX_{i_k}; what is usually generalized to take some endomorphisms into an account (like at noncommutative polynomial level of partial sums where we get skew-polynomial rings, i.e. iterated Ore extensions).

As adic completions

Let RR be a commutative ring, and let R[X]R[X] be the polynomial ring on one indeterminant XX. Then (X)(X) is a maximal ideal in R[X]R[X], and results in an adic topology on R[X]R[X]. The ring of formal power series in RR is the adic completion of the limit of the quotient of R[X]R[X] by powers of (X)(X):

R[[X]]limR/(X) nR[[X]] \coloneqq \underset{\leftarrow}\lim R/(X)^n

The ring of formal power series for multiple indeterminants X iX_i is constructed iteratively: because R[[X 1,X 2,X n]]R[[X_1, X_2, \ldots X_n]] is a commutative ring, one could construct the polynomial ring R[[X 1,X 2,X n]][X n+1]R[[X_1, X_2, \ldots X_n]][X_{n+1}] on the indeterminant X n+1X_{n+1}. As above, (X n+1)(X_{n+1}) is a maximal ideal in R[[X 1,X 2,X n]][X n+1]R[[X_1, X_2, \ldots X_n]][X_{n+1}] with a corresponding adic topology, and one can then take the adic completion

R[[X 1,X 2,X n]][[X n+1]]limR[[X 1,X 2,X n]]/(X n+1) mR[[X_1, X_2, \ldots X_n]][[X_{n+1}]] \coloneqq \underset{\leftarrow}\lim R[[X_1, X_2, \ldots X_n]]/(X_{n+1})^m

The resulting commutative ring is usually just written as R[[X 1,X 2,X n,X n+1]]R[[X_1, X_2, \ldots X_n, X_{n+1}]].

Examples

Polynomials

For a natural number kk, a power series n=0 a nX n\sum_{n=0}^\infty a_n X^n such that a n=0a_n = 0 for all n>kn \gt k is a polynomial of degree at most kk.

Taylor series

MacLaurin series

For fC ()f \in C^\infty(\mathbb{R}) a smooth function on the real line, and for f (n)C ()f^{(n)} \in C^\infty(\mathbb{R}) denoting its nnth derivative its MacLaurin series (its Taylor series at 00) is the power series

n=0 1n!f (n)(0)x n. \sum_{n = 0}^\infty \frac{1}{n!} f^{(n)}(0) x^n \,.

If this power series converges to ff, then we say that ff is analytic.

Laurent series

Puiseux series

Properties

  • An element a=a 0+a 1x+a 2x 2+a = a_0 + a_1 x + a_2 x^2 + \ldots in R[[x]]R[ [x] ] is (multiplicatively) invertible iff a 0a_0 is invertible.

This follows easily from the observation that we can invert 1+xb1 + x b for any power series bb by forming 1xb+x 2b 21 - x b + x^2 b^2 - \ldots and collecting only finitely many terms in each degree. As a simple corollary,

  • If RR is a local ring, then the power series ring R[[X]]R[ [X] ] is also a local ring.

Functional substitution and inversion

Proposition

R[[x 1,,x n]]R[ [x_1, \ldots, x_n] ] equipped with the ideal (x 1,,x n)(x_1, \ldots, x_n) is the free adic RR-algebra on nn generators, in the sense that it is the value of the left adjoint PowPow to the forgetful functor

Ideal:AdicRAlgSet:(A,I)IIdeal: AdicRAlg \to Set: (A, I) \mapsto I

as applied to the set {x 1,,x n}\{x_1, \ldots, x_n\}.

Proof

The idea is that for each adic RR-algebra (S,I)(S, I) and element (s 1,s n)I n(s_1, \ldots s_n) \in I^n, there is a unique adic algebra map R[[x 1,,x n]]SR[ [x_1, \ldots, x_n] ] \to S that sends x ix_i to s is_i; this adic algebra map sends a power series a k 1,,k nx 1 k 1x n k n\sum a_{k_1, \ldots, k_n} x_1^{k_1} x_n^{k_n} to the sequence of truncations

( k 1++k n<ka k 1,,k ns 1 k 1s n k nmodI k) k\left(\sum_{k_1 + \ldots + k_n \lt k} a_{k_1, \ldots, k_n} s_1^{k_1} \ldots s_n^{k_n} \mod I^k\right)_k

belonging to lim kS/I kS\underset{\longleftarrow}{\lim}_k S/I^k \cong S.

It follows that we may define a clone or cartesian operad as follows: the n thn^{th} component is the set I n=(x 1,,x n)R[[x 1,,x n]]I_n = (x_1, \ldots, x_n) \subset R[ [x_1, \ldots, x_n] ] which is the monad value IdealPow({x 1,,x n})Ideal Pow(\{x_1, \ldots, x_n\}). Letting MM denote the monad IdealPowIdeal \circ Pow, with monad multiplication μ\mu, and [n][n] the set {x 1,,x n}\{x_1, \ldots, x_n\}, the clone multiplication

I n×I k nI kI_n \times I_k^n \to I_k

is the composition of the maps

M(n)×M(k) nM(n)×hom([n],M(k))1×funcM(n)×hom(M(n),MM(k))evalMM(k)μ(k)M(k)M(n) \times M(k)^n \cong M(n) \times \hom([n], M(k)) \stackrel{1 \times func}{\to} M(n) \times \hom(M(n), M M(k)) \stackrel{eval}{\to} M M(k) \stackrel{\mu(k)}{\to} M(k)

The clone multiplication thus defined is called substitution of power series; it takes a tuple consisting of p(x 1,,x n)I n,q 1(x 1,x k)I k,q n(x 1,,x k)I k)p(x_1, \ldots, x_n) \in I_n, q_1(x_1, \ldots x_k) \in I_k, \ldots q_n(x_1, \ldots, x_k) \in I_k) to a power series denoted as

p(q 1(x 1,,x k),q n(x 1,,x k)).p(q_1(x_1, \ldots, x_k), \ldots q_n(x_1, \ldots, x_k)).

The resulting clone or operad yields, in the particular case k=n=1k = n = 1, an associative substitution operation

xR[[x]]×xR[[x]]subxR[[x]]x R[ [x] ] \times x R[ [x] ] \stackrel{sub}{\to} x R[ [x] ]

with sub(p,q)=pqsub(p, q) = p \circ q the power series p(q(x))p(q(x)).

Proposition

The group of invertible elements in the substitution monoid xR[[x]]x R[ [x] ] consists of power series of the form a 1x+a 2x 2+a_1 x + a_2 x^2 + \ldots where a 1a_1 is multiplicatively invertible in the ring RR.

In other words, we can functionally invert a power series provided that the linear coefficient a 1a_1 is invertible in RR.

Proof

Given power series a=a 1x+a 2x 2+a = a_1 x + a_2 x^2 + \ldots and b=b 1x+b 2x 2+b = b_1 x + b_2 x^2 + \ldots, we may read off coefficients of the composite aba \circ b as

(ab) k= n1a n k=k 1++k nb k 1b k 2b k n(a \circ b)_k = \sum_{n \geq 1} a_n \sum_{k = k_1 + \ldots + k_n} b_{k_1} b_{k_2} \ldots b_{k_n}

where in particular (ab) 1=a 1b 1(a \circ b)_1 = a_1 b_1. Now aa is the left functional inverse of bb, or bb is the right inverse of aa, if (ab)(x)=x(a \circ b)(x) = x, i.e., if (ab) k=1(a \circ b)_k = 1 if k=1k = 1 and 00 otherwise. The first equation says simply (ab) 1=a 1b 1=1(a \circ b)_1 = a_1 b_1 = 1 which implies a 1a_1 is invertible. Conversely, if a 1a_1 is multiplicatively invertible and b 1=a 1 1b_1 = a_1^{-1}, then the equations

n1a n k=k 1++k nb k 1b k 2b k n =1ifk=1 =0ifk1\array{ \sum_{n \geq 1} a_n \sum_{k = k_1 + \ldots + k_n} b_{k_1} b_{k_2} \ldots b_{k_n} & = 1\; if\; k = 1 \\ & = 0\; if\; k \neq 1 }

may be uniquely solved for the remaining a ia_i's given the b jb_j's, and uniquely solved for the remaining b jb_j's given the a ia_i's, by an inductive procedure: for k1k \neq 1 we have

a 1b k+a kb 1 k+termsa nb k 1b k n=0a_1 b_k + a_k b_1^k + \; terms\; a_n b_{k_1} \ldots b_{k_n} = 0

and this allows us to solve for b kb_k,

b k=a 1 1(a kb 1 k+termsa nb k 1b k n)b_k = -a_1^{-1}(a_k b_1^k + \; terms\; a_n b_{k_1} \ldots b_{k_n})

given the values a 1,,a ka_1, \ldots, a_k and earlier bb-values b k jb_{k_j} for k j<kk_j \lt k given by inductive hypothesis. Similarly we can solve for a ka_k in terms of given coefficients b 1,,b kb_1, \ldots, b_k and earlier aa-values a na_n, n<kn \lt k. Thus every power series aa has a right inverse if a 1 1a_1^{-1} exists, and bb has a left inverse if b 1 1b_1^{-1} exists, and this completes the proof.

Formal differentiation

One way to define the formal differentiation operator, as a function X:R[[X]]R[[X]]\frac{\partial}{\partial X}:R[[X]] \to R[[X]], is via the usual formula

X( n=0 a nX n) n=0 a n+1(n+1)X n. \frac{\partial}{\partial X}\left(\sum_{n = 0}^\infty a_n X^n\right) \coloneqq \sum_{n = 0}^\infty a_{n + 1} (n + 1) X^n.

Then X\frac{\partial}{\partial X} is an RR-linear function on R[[X]]R[[X]] which satisfies the Leibniz rule, meaning that it is a derivation and R[[X]]R[[X]] is a differential algebra.

Here is a conceptual story underlying the formalism. Let D=R[ε]/(ε 2)D = R[\varepsilon]/(\varepsilon^2) be the representing object for derivations (the “ring of dual numbers”). Let δ:R[[X]]R[[X]] RDR[[X]][ε]/(ε 2)\delta: R[ [X] ] \to R[ [X] ] \otimes_R D \cong R[ [X] ][\varepsilon]/(\varepsilon^2) be the unique topological RR-algebra map (under the (X)(X)-adic topologies described above) that sends XX to X+εX + \varepsilon. (If it helps, think δ(q)=q(X+ε)\delta(q) = q(X + \varepsilon).)

Definition

For pR[[X]]p \in R[ [X] ], the derivative pp' is the unique element of R[[X]]R[ [X] ] satisfying

δ(p)=p(X)+p(X)ε.\delta(p) = p(X) + p'(X)\varepsilon.

We leave as an exercise the proof that the two definitions of derivative match:

p(X)=Xp(X).p'(X) = \frac{\partial}{\partial X} p(X).

(Hint: the restriction of ppp \mapsto p' to R[X]R[X] is by construction a derivation such that X=1X' = 1, and (X k)=kX k1(X^k)' = k X^{k-1} by induction. This induces derivations on quotient algebras R[X]/(X n)R[X]/(X^n), satisfying the same formula. Then pass to the inverse limit.)

Proposition

(Chain rule) For pR[[X]]p \in R[ [X] ] and qxR[[X]]q \in x R[ [X ] ],

(pq)=(pq)q.(p \circ q)' = (p' \circ q) \cdot q'.

See here for a conceptual proof, using the universal property of adic completion.

Relatedly but in a slightly different direction, we can consider differentiation in coalgebraic terms. Suppose the commutative ring RR is a commutative algebra over \mathbb{Q} (thus permitting division by nonzero integers). Then the set R[[X]]R[ [X]] may be identified with the terminal coalgebra R R^\mathbb{N} of the endofunctor R×:SetSetR \times - \colon Set \to Set via the map

R[[X]]R : n0a nX nn!(a 0,a 1,a 2,)R[ [X]] \to R^\mathbb{N}\; : \; \sum_{n \geq 0} \frac{a_n X^n}{n!} \mapsto (a_0, a_1, a_2, \ldots)

whereby the coalgebra structure on R R^\mathbb{N},

R R×R :(a n) n0a 0,(a n+1) n0,R^\mathbb{N} \to R \times R^\mathbb{N}\; \colon \; (a_n)_{n \geq 0} \mapsto \langle a_0, (a_{n+1})_{n \geq 0} \rangle,

corresponds to

R[[X]]R×R[[X]]:f(X)f(0),f(X).R[ [X]] \to R \times R[ [X]]\; \colon\; f(X) \mapsto \langle f(0), f'(X) \rangle.

One may then apply coinductive techniques to prove various facts. One illustration is given here, where coinduction on power series is used to prove the general binomial theorem

(1+x) rexp(rlog(1+x))= k0r k̲x kk!(1 + x)^r \coloneqq \exp(r \log(1 + x)) = \sum_{k \geq 0} \frac{r^\underline{k} x^k}{k!}

where, remarkably, rr is an arbitrary element of RR.

Ring of power series as rings with infinitesimals

ring with infinitesimalsfunction
dual numbersdifferentiable function
Weil ringsmooth function
power series ringanalytic function

Purely real and purely infinitesimal elements

Suppose that KK is a Archimedean ordered field and K[[ϵ]]K[[\epsilon]] is the ring of power series in KK. Since K[[ϵ]]K[[\epsilon]] is a local ring, the quotient of K[[ϵ]]K[[\epsilon]] by its ideal of non-invertible elements ϵK[[ϵ]]\epsilon K[[\epsilon]] is the residue field KK itself, and the canonical function used in defining the quotient is the function :K[[ϵ]]K\Re:K[[\epsilon]] \to K which takes a number aK[[ϵ]]a \in K[[\epsilon]] to its purely real component (a)K\Re(a) \in K and takes (ϵ)=0\Re(\epsilon) = 0. Since K[[ϵ]]K[[\epsilon]] is an ordered KK-algebra, there is a strictly monotone ring homomorphism h:KK[[ϵ]]h:K \to K[[\epsilon]]. An element aK[[ϵ]]a \in K[[\epsilon]] is purely real if h((a))=ah(\Re(a)) = a, and an element aK[[ϵ]]a \in K[[\epsilon]] is purely infinitesimal if it is in the fiber of \Re at 0K0 \in K. Zero is the only element in K[[ϵ]]K[[\epsilon]] which is both purely real and purely infinitesimal.

Analytic functions

Suppose that KK is a sequentially Cauchy complete Archimedean ordered field with lattice structure, and K[[ϵ]]K[[\epsilon]] is the ring of power series of KK. Then analytic functions are each definable on KK using the algebraic, order, metric, and convergence structure on KK.

The ring homomorphism h:KK[[ϵ]]h:K \to K[[\epsilon]] preserves analytic functions: given a natural number nn \in \mathbb{N} and a purely infinitesimal element ηϵK[[ϵ]]\eta \in \epsilon K[[\epsilon]], then for every analytic function fC (K)f \in C^\infty(K), there is a function f K[[ϵ]]:K[[ϵ]]K[[ϵ]]f_{K[[\epsilon]]}:K[[\epsilon]] \to K[[\epsilon]] such that for all elements xKx \in K, f K[[ϵ]](h(x))=h(f(x))f_{K[[\epsilon]]}(h(x)) = h(f(x)) and

f K[[ϵ]](h(x)+η)= i=0 1i!h(d ifdx i(x))η if_{K[[\epsilon]]}(h(x) + \eta) = \sum_{i = 0}^{\infty} \frac{1}{i!} h\left(\frac{d^i f}{d x^i}(x)\right) \eta^i

References

A formalization in homotopy type theory and there in Coq is discussed in section 4 of

The discussion of the differentiation of a converging power series term by term is at

category: analysis, algebra

Last revised on August 19, 2024 at 15:03:52. See the history of this page for a list of all contributions to it.